Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
911	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-09-26 13:10:47 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
912	The Grammatical View of Scalar Implicatures and the Relationship between Semantics and Pragmatics Gennaro Chierchia, Danny Fox, and Benjamin Spector 1. Introduction Recently there has been a lively revival of interest in Add to Reading List Source URL: semanticsarchive.net Language: English - Date: 2008-05-24 09:21:53 Science Implicature Cooperative principle Scalar implicature Relevance theory Entailment Laurence R. Horn Presupposition Logic Pragmatics Linguistics Philosophy of language
913	2) Some prerequisites for a study of the evolution of cognition in the animal kingdom foundations Add to Reading List Source URL: crmenant.free.fr Language: English - Date: 2014-07-04 05:26:55 Programming paradigms Constraint satisfaction Linguistics Symbol grounding Logic Constraint programming Logic programming Information Meaning Philosophy of language Semantics Analytic philosophy
914	Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:34:02 Epistemology Frame problem Theoretical computer science Situation calculus Science Predicate transformer semantics Event calculus Logic programming Knowledge representation Artificial intelligence
915	The Indexicality of ‘Knowledge’∗ Michael Blome-Tillmann (January[removed] Add to Reading List Source URL: philpapers.org Language: English Contextualism Metatheory Relativism Skepticism Linguistics Semantics Adjective Indexicality Modal logic Philosophy Logic Justification
916	LNAI[removed]Syntax and Semantics for Business Rules Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:46:37 Predicate logic Metalogic Data modeling Semantics of Business Vocabulary and Business Rules Unified Modeling Language Modal logic Quantification First-order logic Deontic logic Logic Mathematical logic Philosophical logic
917	General Semantics Conferences/Congresses 1. March 1935: First American Congress, Ellensburg, WA, Central Washington College of Education (now Central Washington University) Add to Reading List Source URL: www.generalsemantics.org Language: English - Date: 2011-04-30 23:13:42 Geography of Colorado Denver Semantics Alfred Korzybski Logic General semantics Human communication Linguistics
918	LNCS[removed]The Logic of NEAR and FAR Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 14:52:27 Mathematics Interpretation Philosophy of language Philosophy of mind Semantics Structure Metaphilosophy Orbifold Model theory Logic Formal languages
919	A LOGICAL CALCULUS OF MEANING AND SYNONYMY YIANNIS N. MOSCHOVAKIS In his development of formal semantics for natural language Montague [1970a]– Montague [1973],1 Richard Montague modeled the meaning (Frege’s sense) Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2004-12-13 19:38:56 Computability theory Functions and mappings Predicate logic Logical syntax Lambda calculus Function Interpretation Free variables and bound variables Variable Mathematics Logic Elementary mathematics
920	Reasoning about Joint Action and Coalitional Ability in Kn with Intersection 1 ˚ Thomas Agotnes and Natasha Alechina2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:39:50 Interpretation Model theory Philosophy of language Philosophy of mind Semantics Function Constructible universe Linear temporal logic Μ operator Mathematics Logic Mathematical logic

UPDATE